Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Matthias Függer is general co-chair of ASYNC 2018

Scientific Events Selection

Member of the Conference Program Committees

• Laurent Fribourg was a PC member of:

  • 7th International Conference on New Computational Methods for Inverse Problems, Cachan, 2017

  • The 27th International Symposium on Logic-based Program Synthesis and Transformation, Namur, Belgium, 2017

  • Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, Seoul, 2017.

• Matthias Függer was a member of the PC of DDECS'17.

• Stefan Haar was a member of the PCs of the conferences MSR 2017 and ACSD 2017 and of the workshop ATAED 2017.

• Serge Haddad was a PC member of the International Workshop on Petri Nets and Software Engineering (PNSE) 2017 at Zaragoza, Spain, and of the 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS) 2017 at Montreal, Québec, Canada. He was also a member of the scientific committee of Ecole d'été temps-réel (ETR 2017).

Reviewer

• Matthias Függer was a reviewer for ICALP, DISC, FMCAD, ICDCN,and OPODIS.

• Stefan Haar was a reviewer for FOSSACS.

• Stefan Schwoon was a reviewer for the following conferences taking place in 2017: STACS, TACAS, ESOP, ATVA, and FSTTCS.

Journal

Member of the Editorial Boards

• Stefan Haar is associate editor of the Journal of Discrete Event Dynamic Systems: Theory and Applications.

Reviewer - Reviewing Activities

• Thomas Chatain was a reviewer for Acta Informatica, Artificial Intelligence and Journal of Discrete Event Dynamic Systems.

• Matthias Függer was a reviewer for MFCS.

• Stefan Haar was a reviewer for MSCS and IEEE Transations on Automatic Control.

• Stefan Schwoon was a reviewer for Fundamenta Informaticae, International Journal on Software Tools for Technology Transfer, and the Journal of Discrete Event Dynamic Systems.

Invited Talks

• Laurent Fribourg gave the following invited talk: "Euler’s Method Applied to the Control of Switched Systems", at 15th International Conference on Formal Modelling and Analysis of Timed Systems, Berlin, 2017

• Matthias Függer gave invited talks at the Theory of Hardware seminar in Vienna in February, the Noon seminar at Max-Planck Institute for Informatics in April, and the Distributed Computing Seminar at Labri in November.

• Serge Haddad gave the following invited talks:

  •  at Centre Fédéré en Vérification, Bruxelles, Belgique on February 24, 2017, entitled From Continuous Petri nets to Petri nets and Back;

  • at LACL, Créteil on February 27, 2017, entitled Probabilistic Disclosure: Maximisation vs. Minimisation

  • at the MSR 2017 conference, Marseille, France, on November 16, 2017, entitled Réseaux de Petri discrets et continus : apports réciproques.

• Claudine Picaronny gave an invited talk on 'Vérification probabiliste, numérique ou statistique', on the 21th of april 2017 at Alea 17, CIRM Marseille, France

Scientific Expertise

• Serge Haddad was expert for the evaluation of the researcher premiums at University Pierre et Marie Curie

Research Administration

• Laurent Fribourg is a member of

  • Comité Direction of Department Sciences et technologies de l’information et de la communication of Université Paris-Saclay,

  • Bureau of Domaine d’Intérêt Majeur émergent du Réseau Francilien en Sciences Informatiques

• Stefan Haar is the president of Inria's GTRI-COST committee for international relations, and the head of the SciLex (Software Reliability and Security) axis of the LABEX DIGICOSME, and ipso facto a member of DIGICOSME's executive committee and scientific commission.

• Serge Haddad was the president of the HCERES evaluation committee of the laboratory LIAS, Poitiers.